Optimal. Leaf size=21 \[ \frac{2 F\left (\left .\sin ^{-1}\left (\sqrt{a} \sqrt{x}\right )\right |-1\right )}{\sqrt{a}} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.0329877, antiderivative size = 21, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 2, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.1 \[ \frac{2 F\left (\left .\sin ^{-1}\left (\sqrt{a} \sqrt{x}\right )\right |-1\right )}{\sqrt{a}} \]
Antiderivative was successfully verified.
[In] Int[1/(Sqrt[x]*Sqrt[1 - a^2*x^2]),x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 5.3998, size = 20, normalized size = 0.95 \[ \frac{2 F\left (\operatorname{asin}{\left (\sqrt{a} \sqrt{x} \right )}\middle | -1\right )}{\sqrt{a}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(1/x**(1/2)/(-a**2*x**2+1)**(1/2),x)
[Out]
_______________________________________________________________________________________
Mathematica [C] time = 0.125551, size = 65, normalized size = 3.1 \[ -\frac{2 i \sqrt{-\frac{1}{a}} a x \sqrt{1-\frac{1}{a^2 x^2}} F\left (\left .i \sinh ^{-1}\left (\frac{\sqrt{-\frac{1}{a}}}{\sqrt{x}}\right )\right |-1\right )}{\sqrt{1-a^2 x^2}} \]
Antiderivative was successfully verified.
[In] Integrate[1/(Sqrt[x]*Sqrt[1 - a^2*x^2]),x]
[Out]
_______________________________________________________________________________________
Maple [B] time = 0.073, size = 66, normalized size = 3.1 \[ -{\frac{1}{a \left ({a}^{2}{x}^{2}-1 \right ) }\sqrt{-{a}^{2}{x}^{2}+1}\sqrt{ax+1}\sqrt{-2\,ax+2}\sqrt{-ax}{\it EllipticF} \left ( \sqrt{ax+1},{\frac{\sqrt{2}}{2}} \right ){\frac{1}{\sqrt{x}}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(1/x^(1/2)/(-a^2*x^2+1)^(1/2),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{\sqrt{-a^{2} x^{2} + 1} \sqrt{x}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(sqrt(-a^2*x^2 + 1)*sqrt(x)),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \[{\rm integral}\left (\frac{1}{\sqrt{-a^{2} x^{2} + 1} \sqrt{x}}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(sqrt(-a^2*x^2 + 1)*sqrt(x)),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 2.30182, size = 36, normalized size = 1.71 \[ \frac{\sqrt{x} \Gamma \left (\frac{1}{4}\right ){{}_{2}F_{1}\left (\begin{matrix} \frac{1}{4}, \frac{1}{2} \\ \frac{5}{4} \end{matrix}\middle |{a^{2} x^{2} e^{2 i \pi }} \right )}}{2 \Gamma \left (\frac{5}{4}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/x**(1/2)/(-a**2*x**2+1)**(1/2),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{1}{\sqrt{-a^{2} x^{2} + 1} \sqrt{x}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(1/(sqrt(-a^2*x^2 + 1)*sqrt(x)),x, algorithm="giac")
[Out]